algebraic expressions theory